логика прикладная

логика прикладная
        ЛОГИКА ПРИКЛАДНАЯ — понятие, объединяющее разработки и способы систематического использования логического аппарата для решения конкретных практических задач. При этом необходимо различать Л. п. и отдельные приложения логики. Для Л. п. характерны именно систематичность и алгоритмизированность использования логики.
        Первым и наиболее известным примером Л. п. является использование логики в теории и практике аргументации. Необходимость защиты своих интересов в суде, обоснование следствий из имеющихся знаний, толкование религиозных текстов в средние века — все это требовало систематического применения логики. Трудности, с которыми сталкивалась Л. п., служили мощным стимулом для развития и появления новых областей исследования в самой логике. Первые логические парадоксы связаны именно с практикой аргументации. Попытки их разрешения привели к строгому доказательству ряда фундаментальных теорем, проливающих свет на возможности человеческого познания и имеющих большое значение для философии.
        Следующий этап развития Л. п. связан с использованием аппарата алгебры логики для проектирования контактно-релейных схем. Если вначале речь шла лишь о проектировании относительно простых электрических цепей, то сейчас, с помощью этого аппарата и аппарата линейных логик, проектируются различные электронные микросхемы, имеющие большую степень сложности. С появлением компьютеров значительно выросло число задач, для решения которых используется логика. Высокая сложность программ, выполняемых на компьютерах, потребовала разработки средств проверки их корректности. Это послужило толчком для активной разработки динамических логик. Как частный их случай стали разрабатываться и находить применение логики программ. Объединение большого числа компьютеров в единые сети потребовало изучения условий их взаимодействия. Проблема заключалась в том, что каждый из компьютеров в этой сети хранит лишь небольшую часть совокупной информации. По каким правилам должен протекать обмен информацией в сети, чтобы взаимодействие было корректным? Для решения этой задачи используется многосубъектная эпистемическая логика. Такая же проблема возникла при построении многопроцессорных суперкомпьютеров, реализующих параллельные вычисления.
        Во всем мире для накопления и хранения разнообразной информации используются специальные программы, называемые базами данных. Чтобы накопленная информация была доступна для использования, необходимо уметь ее извлекать. Для этого были созданы специальные языки запросов к базам данных. В основе таких языков лежит логика вопросов и ответов. Ни одна из существующих баз данных не является исчерпывающей. Поэтому при построении ответа на запрос опираются не только на ту информацию, которая в явном виде хранится в базе данных, но и на отсутствие требуемой информации. Напр., если в базе данных не содержится явного указания, что из пункта А в пункт Б летают самолеты, — значит, авиационного сообщения между ними нет. Вопросы корректности такого рода выводов изучаются в немонотонных логиках.
        Одним из подходов к написанию программ является логическое программирование. Стандартный процедурный подход определяет программу в виде последовательности действий, которые должен выполнить компьютер для решения конкретной задачи. Такой подход довольно трудоемкий и имеет много недостатков. При подходе с точки зрения логического программирования достаточно лишь описать с помощью логически-ориентированного языка предметную область. Это и есть программа. Для ее выполнения пользователь просто формулирует запросы к предметной области. Значительными преимуществами таких программ является их понятность и модульность. Наиболее известным языком логического программирования является Prolog. В нем ответ на запрос получается как побочный результат некоторого логического вывода. Интересным подходом в рамках логического программирования является семантическое программирование. В этом случае для ответа на запрос строится модель, выполняющая логическое описание предметной области и запрос к ней. В основе лежит уже не логический вывод, а процедура верификации формулы в модели. Не все задачи могут быть решены по точным алгоритмам. Напр., задача медицинской диагностики заболеваний выходит за рамки строгого описания. Т е м не менее особые алгоритмы решения таких задач существуют, и относятся они к области искусственного интеллекта. Вполне естественно, что значительная часть таких алгоритмов базируется на логике.
        Как правило, системы искусственного интеллекта имеют базу знаний и механизм извлечения этих знаний с целью решения конкретных задач. Иногда говорят также о рассуждениях над базами знаний. Для задания баз знаний и рассуждений над ними используется логика. Интересно то, что, в зависимости от типа предметной области, приходится использовать различные формализованные языки и различные правила логического вывода (см. Вывод логический). В настоящее время системы искусственного интеллекта способны не только оперировать имеющимся знанием, но и накапливать новое. В свои права вступает индуктивная логика. Путем анализа информации, хранящейся в базах данных, ищутся скрытые закономерности, которые, в свою очередь, используются для решения вновь возникающих практических задач.
        Сложность современной математики вынуждает прибегать к помощи компьютеров при доказательстве или проверке новых теорем. Аксиоматический подход в математике напрямую связан с использованием логики. Самостоятельная область исследований искусственного интеллекта — автоматическое доказательство теорем. В этой области получены значительные результаты, но не утихают дискуссии о статусе математических теорем, для доказательства которых в той или иной степени используется компьютер. Тем не менее тенденция обозначила себя, и вряд ли удастся ей противостоять. Многочисленные приложения логики в др. областях пока не имеют систематического характера, но дают основание предположить, что Л. п. не ограничится приведенными выше примерами.
        В.И. Шалак

Энциклопедия эпистемологии и философии науки. М.: «Канон+», РООИ «Реабилитация». . 2009.

Игры ⚽ Поможем решить контрольную работу

Полезное


Смотреть что такое "логика прикладная" в других словарях:

  • ПРИКЛАДНАЯ ЛОГИКА —     ПРИКЛАДНАЯ ЛОГИКА логический аппарат систематически используемый для решения конкретных практических задач. При этом необходимо различать прикладную логику и отдельные приложения логики. Для прикладной логики характерна именно систематичность …   Философская энциклопедия

  • ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия

  • ЛОГИКА СИМВОЛИЧЕСКАЯ —     ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому …   Философская энциклопедия

  • логика трансцендентальная —         ЛОГИКА ТРАНСЦЕНДЕНТАЛЬНАЯ один из наиболее важных и известных разделов «Критики чистого разума» И. Канта, который, наряду с трансцендентальной эстетикой, составляет трансцендентальное учение о началах. Л. т. распадается на… …   Энциклопедия эпистемологии и философии науки

  • Прикладная математика — область математики, рассматривающая применение математических методов, алгоритмов в других областях науки и практики. Примерами такого применения будут: численные методы, математическая физика, линейное программирование, оптимизация и… …   Википедия

  • Логика — (греч. λογική логика) 1) Способность правильно мыслить. 2) Учение о последовательности и методах познания. Учения о логич. аксиомах, понятии, суждении и умозаключении, взятые вместе, образуют чистую Л. Прикладная Л. охватывает учение об… …   Российский гуманитарный энциклопедический словарь

  • Математическая логика — (теоретическая логика, символическая логика)  раздел математики, изучающий доказательства и вопросы оснований математики. «Предмет современной математической логики разнообразен.»[1] Согласно определению П. С. Порецкого, «математическая… …   Википедия

  • Нечёткая логика — (англ. fuzzy logic) и теория нечётких множеств раздел математики, являющийся обобщением классической логики и теории множеств. Понятие нечёткой логики было впервые введено профессором Лютфи Заде в 1965 году. В его статье понятие множества… …   Википедия

  • Асинхронная логика — Содержание 1 Принцип самосинхронности 2 Краткая история …   Википедия

  • Список академических дисциплин — Эта статья содержит незавершённый перевод с иностранного языка. Вы можете помочь проекту, переведя её до конца. Если вы знаете, на каком языке написан фрагмент, укажите его в этом шаблоне …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»